mu compose bimap(identity)(mu)